Old Assyrian Legal Practices: Law and Dispute in the Ancient Near East. By Thomas Klitgaard Hertel. PIHANS, vol. 123. Leiden: Nederlands Instituut voor het Nabije Oosten, 2013. Pp. xlii + 479. €84.80.

Background Inadequate knowledge among health care providers (HCPs) and parents of affected children limits the understanding and utility of secondary genetic findings (SFs) in under-represented populations in genomics research. SFs arise from deep DNA sequencing done for research or diagnostic purposes and may burden patients and their families despite their potential health importance. This study aims to evaluate the perspective of both groups regarding SFs and their choices in the return of results from genetic testing in the context of orofacial (...) clefts.Methods Using an online survey, we evaluated the experiences of 252 HCPs and 197 parents across participating cleft clinics in Ghana and Nigeria toward the return of SFs across several domains.Results Only 1.6% of the HCPs felt they had an expert understanding of when and how to incorporate genomic medicine into practice, while 50.0% agreed that all SFs should be returned to patients. About 95.4% of parents were willing to receive all the information from genetic testing (including SFs), while the majority cited physicians as their primary information source (64%).Conclusions Overall, parents and providers were aware that genetic testing could help in the clinical management of diseases. However, they cited a lack of knowledge about genomic medicine, uncertain clinical utility, and lack of available learning resources as barriers. The knowledge gained from this study will assist with developing guidelines and policies to guide providers on the return of SFs in sub-Saharan Africa and across the continent. (shrink)

In 1969, De Jongh proved the “maximality” of a fragment of intuitionistic predicate calculus forHA. Leivant strengthened the theorem in 1975, using proof-theoretical tools (normalisation of infinitary sequent calculi). By a refinement of De Jongh's original method (using Beth models instead of Kripke models and sheafs of partial combinatory algebras), a semantical proof is given of a result that is almost as good as Leivant's. Furthermore, it is shown thatHA can be extended to Higher Order Heyting Arithmetic+all trueΠ 2 0 (...) -sentences + transfinite induction over primitive recursive well-orderings. As a corollary of the proof, maximality of intuitionistic predicate calculus is established wrt. an abstract realisability notion defined over a suitable expansion ofHA. (shrink)

This volume comprises systematic as well as historical essays, including contributions intended to give comprehensive overviews of such areas as genetic phenomenology, transcendental phenomenology, philosophy and history of logic and mathematics, Kant, hermeneutics, Hegel, and philosophy of language. The book is addressed to phenomenologists, particularly those who are interested in some or all of the areas mentioned. In his introduction Joseph J. Kockelmans indicates that these diverse areas enter into dialogue in the work of Thomas M. Seebohm, whom the editors (...) and authors wish to honor, and the systematic papers mirror the state of the art of research in the above-mentioned disciplines. (shrink)

Multiple accounts of how theories of human psychology and of image-making influenced each other in a decisive period in the history of philosophy and art.

Kleene's realizability interpretation for first-order arithmetic was shown by Hyland to fit into the internal logic of an elementary topos, the “Effective topos” . In this paper it is shown, that there is an internal realizability definition in , i.e. a syntactical translation of the internal language of into itself of form “n realizes ” , which extends Kleene's definition, and such that for sentences , the equivalence [harr]n is true in . The internal realizability definition depends on finding separated (...) covers for non-separated objects of . However, for the objects arising in higher-order arithmetic, canonical covers are available, which are definable in higher-order arithmetic. These canonical covers yield “covering axioms”. It is shown that these covering axioms, together with uniformity principles and Extended Church's Thesis, axiomatize a formalized extension of Kleene realizability to a constructive system of higher-order arithmetic. The details are worked out for second and third-order arithmetic, but the method can be extended to any order. As an application, it is shown in the final section that a certain completeness property of the category of “modest sets” can be derived in third-order arithmetic from the realizability axioms. (shrink)

Two straightforward “extensionalisations” of Kleene's realizability are considered; denoted re and e. It is shown that these realizabilities are not equivalent. While the re-notion is a subset of Kleene's realizability, the e-notion is not. The problem of an axiomatization of e-realizability is attacked and one arrives at an axiomatization over a conservative extension of arithmetic, in a language with variables for finite sets. A derived rule for arithmetic is obtained by the use of a q-variant of e-realizability; this rule subsumes (...) the well-known Extended Church's Rule. The second part of the paper focuses on toposes for these realizabilities. By a relaxation of the notion of partial combinatory algebra, a new class of realizability toposes emerges. Relationships between the various realizability toposes are given, and results analogous to Robinson and Rosolini's characterization of the effective topos, are obtained for a topos generalizing e-realizability. (shrink)

An axiomatic treatment of synthetic domain theory is presented, in the framework of the internal logic of an arbitrary topos. We present new proofs of known facts, new equivalences between our axioms and known principles, and proofs of new facts, such as the theorem that the regular complete objects are closed under lifting . In Sections 2–4 we investigate models, and obtain independence results. In Section 2 we look at a model in de Modified realizability Topos, where the Scott Principle (...) fails, and the complete objects are not closed under lifting. Section 3 treats the standard model in the Effective Topos. Theorem 3.2 gives a new characterization of the initial lift-algebra relative to the dominance. We prove that in the standard case it is not the internal colimit of the chain 0 → L → L 2 → ⋯ . The models in Sections 2 and 3 compare via an adjunction. Section 4 discusses a model in a Grothendieck topos. A feature here is that N is not well-complete , whereas 2 is. (shrink)

This book, a companion volume to Professor Pollitt's The Art of Rome: Sources and Documents, presents a comprehensive collection in translation of ancient literary evidence relating to Greek sculpture, painting, architecture, and the decorative arts. Its purpose is to make this important evidence available to students who are not specialists in the Classical languages or Classical archaeology. The author's translations of a wide selection of Greek and Latin texts are accompanied by an introduction, explanatory commentary, and a full bibliography. An (...) earlier version of this book was published twenty-five years ago by Prentice-Hall. In this new publication Professor Pollitt has added a considerable number of new passages, revised some of his earlier translations and presented the texts in a different order which allows the reader to follow more easily the development of sculpture and painting as perceived by the ancient writers. The new and substantial bibliography, organised by topics as they appear in the book, emphasises works that deal directly with the literary sources or that supplement our knowledge of the personalities and monuments described in the sources. This collection will be welcomed by students and teachers of Greek art who have long been in need of an authoritative and reliable sourcebook for their subject. (shrink)

F. Richman raised the question of whether the following principle of second order arithmetic is valid in intuitionistic higher order arithmetic $\mathbf{HAH}$: $\forall X\lbrack\forall x(x \in X \vee \neg x \in X) \wedge \forall Y(\forall x(x \in Y \vee \neg x \in Y) \rightarrow \forall x(x \in X \rightarrow x \in Y) \vee \forall x \neg(x \in X \wedge x \in Y)) \rightarrow \exists n\forall x(x \in X \rightarrow x = n)\rbrack$, and if not, whether assuming Church's Thesis CT and (...) Markov's Principle MP would help. Blass and Scedrov gave models of $\mathbf{HAH}$ in which this principle, which we call RP, is not valid, but their models do not satisfy either CT or MP. In this paper a realizability topos Lif is constructed in which CT and MP hold, but RP is false. (It is shown, however, that $RP$ is derivable in $\mathbf{HAH} + \mathrm{CT} + \mathrm{MP} + \mathrm{ECT}_0$, so RP holds in the effective topos.) Lif is a generalization of a realizability notion invented by V. Lifschitz. Furthermore, Lif is a subtopos of the effective topos. (shrink)

This article indicates some ways in which the fantasy of the brain in the vat has been used in thought experiments to discuss important philosophical problems. The first has to do with scepticism about the external world. The second has to do with Hilary Putnam’s arguments for the indeterminacy of reference and his rejection of metaphysical realism. The third issue to which the brain in the vat is relevant has to do with the difference between broad and narrow content of (...) beliefs and Putnam’s challenging assertion that reference is not ‘in the head’. Though there are brief suggestions for dealing with these problems and saving metaphysical realism, the main purpose is to indicate the relevance of the fantasy of the brain in the vat to discussion of these issues. (shrink)

The importance of non-codifying DNA polymorphism for the administration of justice is now well known. In Spain, however, this type of test has given rise to questions in recent years: Should consent be obtained before biological samples are taken from an individual for DNA analysis? Does society perceive these techniques and methods of analysis as being reliable? There appears to be lack of knowledge concerning the basic norms that regulate databases containing private or personal information and the protection that information (...) of this type must be given. This opinion survey and the subsequent analysis of the results in ethical terms may serve to reveal the criteria and the degree of information that society has with regard to DNA databases. In the study, 73.20% of the population surveyed was in favour of specific legislation for computer files in which DNA analysis results for forensic purposes are stored. (shrink)

This chapter examines the philosophical views of English philosopher Robert Boyle, outlining his life and character, and describing his views on religion, the natural world, and natural laws. It highlights his lifelong interest in ethics, his uncompromising insistence on the priority of experiment over theory, and his influence on the works of Isaac Newton. The chapter also discusses Boyle's awareness of human frailty in himself and others, and of the weakness of human nature.

I propose, in this paper, to offer a simple, even perhaps a simplified, version of Spinoza's metaphysical views, and to show how these views sometimes affected his epistemological views.When they did affect his epistemological views the effect was always a bad one, since Spinoza's metaphysical system is quite unworkable. It is helpful, and sometimes even inspiring, but it is wrong. In the end, with the epistemology as with the metaphysics, nothing of substance will be salvageable, but Spinoza's new and even (...) radical perspective is worth observing for its own sake, and there are points of detail along the way, ranging from inspired falsehoods to cloudy truths, that still deserve the effort to untangle them. (shrink)